The PROPHET-II’s Prophecy

The Prophecy of Undo

Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.

The Antichrist in Prophecy

The designation "Antichrist," appearing only in the epistles of John (1 John 2:18, 22; 4:3; 2 John 7), is made up of the Greek words anti ("against, in place of") and christos ("Christ"), and indicates any agent of the evil one (Satan) who acts contrary to or as a counterfeit of God's Anointed who is destined to rule the world in the end time (Psalm 2:2, 6-8; 110:1-2; Isaiah 9:6-7, et. al.). Th...

Polymatroid Prophet Inequalities

Consider a gambler and a prophet who observe a sequence of independent, non-negative numbers. The gambler sees the numbers one-by-one whereas the prophet sees the entire sequence at once. The goal of both is to decide on fractions of each number they want to keep so as to maximize the weighted fractional sum of the numbers chosen. The classic result of Krengel and Sucheston (1977-78) asserts th...

A variant of IIS algorithm

Interestingly, the principle of maximum entropy seems to be different from other machine learning approaches. A couple of more accurate and predictive models, such as neural nets, hidden Markov model continue to rapidly develop, which do help people make more and more detailed prediction, but these accomplishments cannot keep pace with the requirements that people make for the tasks of machine ...

Prelude, prophecy, and promise.